type Shift<T extends any[]> = T extends [infer F, ...infer R] ? R : never;

type Po1 = Shift<["a", "b", "c", "d"]>;
